tbox
Class TBox

java.lang.Object
  extended by tbox.TBox

public class TBox
extends java.lang.Object


Field Summary
private  Alfabeth alfabeth
           
private  java.util.Collection<FunctionalityAssertion> functionalityAssertions
           
private  java.util.Collection<IdentificationAssertion> identificationAssertions
           
private  java.util.Collection<InclusionAssertion> inclusionAssertions
           
private  java.util.Collection<ISA> lista_isa
           
 
Constructor Summary
TBox()
           
TBox(java.util.Collection<InclusionAssertion> inclusionAssertions, java.util.Collection<FunctionalityAssertion> functionalityAssertions, java.util.Collection<IdentificationAssertion> identificationAssertions, Alfabeth alfabeth, java.util.Collection<ISA> lista_isa)
           
 
Method Summary
 void addAssertion(FunctionalityAssertion ass)
           
 void addAssertion(IdentificationAssertion ass)
           
 void addAssertion(InclusionAssertion ass)
           
 void addISA(ISA isa)
           
 Alfabeth getAlfabeth()
           
 java.util.Collection<FunctionalityAssertion> getFunctionalityAssertions()
           
 java.util.Collection<IdentificationAssertion> getIdentificationAssertions()
           
 java.util.Collection<InclusionAssertion> getInclusionAssertions()
           
 java.util.Collection<ISA> getLista_isa()
           
 void setAlfabeth(Alfabeth alfabeth)
           
 void setFunctionalityAssertions(java.util.Collection<FunctionalityAssertion> functionalityAssertions)
           
 void setIdentificationAssertions(java.util.Collection<IdentificationAssertion> identificationAssertions)
           
 void setInclusionAssertions(java.util.Collection<InclusionAssertion> inclusionAssertions)
           
 void setLista_isa(java.util.Collection<ISA> lista_isa)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

alfabeth

private Alfabeth alfabeth

inclusionAssertions

private java.util.Collection<InclusionAssertion> inclusionAssertions

functionalityAssertions

private java.util.Collection<FunctionalityAssertion> functionalityAssertions

identificationAssertions

private java.util.Collection<IdentificationAssertion> identificationAssertions

lista_isa

private java.util.Collection<ISA> lista_isa
Constructor Detail

TBox

public TBox()

TBox

public TBox(java.util.Collection<InclusionAssertion> inclusionAssertions,
            java.util.Collection<FunctionalityAssertion> functionalityAssertions,
            java.util.Collection<IdentificationAssertion> identificationAssertions,
            Alfabeth alfabeth,
            java.util.Collection<ISA> lista_isa)
Method Detail

getInclusionAssertions

public java.util.Collection<InclusionAssertion> getInclusionAssertions()

setInclusionAssertions

public void setInclusionAssertions(java.util.Collection<InclusionAssertion> inclusionAssertions)

getFunctionalityAssertions

public java.util.Collection<FunctionalityAssertion> getFunctionalityAssertions()

setFunctionalityAssertions

public void setFunctionalityAssertions(java.util.Collection<FunctionalityAssertion> functionalityAssertions)

getIdentificationAssertions

public java.util.Collection<IdentificationAssertion> getIdentificationAssertions()

setIdentificationAssertions

public void setIdentificationAssertions(java.util.Collection<IdentificationAssertion> identificationAssertions)

getLista_isa

public java.util.Collection<ISA> getLista_isa()

setLista_isa

public void setLista_isa(java.util.Collection<ISA> lista_isa)

getAlfabeth

public Alfabeth getAlfabeth()

setAlfabeth

public void setAlfabeth(Alfabeth alfabeth)

addAssertion

public void addAssertion(InclusionAssertion ass)

addAssertion

public void addAssertion(FunctionalityAssertion ass)

addAssertion

public void addAssertion(IdentificationAssertion ass)

addISA

public void addISA(ISA isa)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object